The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

The influence of historiography on aspects of political thought in France, Italy and Germany. In recent years the overlap between political thought and historiography has changed the boundaries of intellectual history. Donald Kelley, the longtime editor of The Journal of the History of Ideas has played a leading part in this process. These essays by his friends and former students follow in his footsteps. The collection is divided into three parts: France, England [six essays], and Italy and Germany [four (...) essays]. Anthony Grafton and John Salmon provide an introduction, and the volume concludes with a bibliography of Donald Kelley's many works. Historians and Ideologues is designed for those with an interest in the contribution of historiography to political thought, and will be a timely addition to the growing reaction against the postmodern scepticism in historiographical research in this field. Contributors include Ann Blair, Julian Franklin, Kathleen Parrow, David Harris Sacks, Sarah Hanley, Daniel Woolf, Gordon Schochet, Joseph Levine, John Pocock, Perez Zagorin, William Connell, Donald Phillip Verene, and Michael Carhart. Anthony Grafton is a Professor in the Department of History at Princeton University. John Salmon is the Marjorie Walter Goodheart Emeritus Professor of History at Bryn Mawr College. (shrink)

Self-organized complexity in the physical, biological, and social sciences Donald L Turcotte*f and John B. Rundle* *Department of Earth and Atmospheric ...

In "Amazing Grace," the best-loved of all hymns, John Newton's allusions to the drama of his life tell the story of a youth who was a virtual slave in Sierra Leone before ironically becoming a slave trader himself. Liverpool, his home port, was the center of the most colossal, lucrative, and inhumane slave trade the world has ever known. A gradual spiritual awakening transformed Newton into an ardent evangelist and anti-slavery activist. Influenced by Methodists George Whitefield and John (...) Wesley, Newton became prominent among those favoring a Methodist-style revival in the Church of England. This movement stressed personal conversion, simple worship, emotional enthusiasm, and social justice. While pastoring a poor flock in Olney, he and poet William Cowper produced a hymnal containing such perennial favorites as "Glorious Things of Thee Are Spoken" and "God Moves in a Mysterious Way." Later, while serving a church in London, Newton raised British consciousness on the immorality of the slave trade. The account he gave to Parliament on the atrocities he had witnessed helped William Wilberforce obtain legislation to abolish the slave trade in England. Newton's life story convinced many who are "found" after being "lost" to sing Gospel hymns as they lobbied for civil rights legislation. His close involvement with both capitalism and evangelicalism, the main economic and religious forces of his era, provide a fascinating case study of the relationship of Christians to their social environment. In an afterword on Newtonian Christianity, Phipps explains Newton's critique of Karl Marx's thesis that religious ideals are always the effect of what produces the most profit. Phipps relies on accounts Newton gives in his ship journal, diary, letters, and sermons for this most readable scholarly narrative. (shrink)

Donald Capps and John Capps's James and Dewey on Belief and Experience juxtaposes the key writings of two philosophical superstars. As fathers of Pragmatism, America's unique contribution to world philosophy, their work has been enormously influential, and remains essential to any understanding of American intellectual history. In these essays, you'll find William James deeply embroiled in debates between religion and science. Combining philosophical charity with logical clarity, he defended the validity of religious experience against crass forms of scientism. (...) Dewey identified the myriad ways in which supernatural concerns distract religious adherents from pressing social concerns, and sought to reconcile the tensions inherent in science's dual embrace of common sense and the aesthetic. James and Dewey on Belief and Experience is divided into two sections: the former showcases James, the latter is devoted to Dewey. Two transitional passages in which each reflects on the work of the other bridge these two main segments. Together, the sections offer a unique perspective on the philosophers' complex relationship of influence and interdependence. An editors' introduction provides biographical information about both men, an overview of their respective philosophical orientations, a discussion of the editorial process, and a brief commentary on each of the selections. Comparing what these foremost pragmatists wrote on both themes illumines their common convictions regarding the nature of philosophical inquiry and simultaneously reveals what made each a distinctive thinker. (shrink)

Published in 1918, _The View of Life_ is Georg Simmel’s final work. Famously deemed “the brightest man in Europe” by George Santayana, Simmel addressed a variety of topics across his essayistic writings, which have influenced scholars in aesthetics, ethics, epistemology, and sociology. Nevertheless, a set of core issues emerged over the course of his career, most centrally the genesis, structure, and transcendence of social and cultural forms and the nature and genesis of authentic individuality. Composed in the years before his (...) death, _The View of Life_ was, according to Simmel, his “testament,” a capstone work of profound metaphysical inquiry intended to formulate his conception of life in its entirety. Now Anglophone readers can at last read in full the work that shaped the argument of Heidegger’s _Being and Time_ and whose extraordinary impact on European intellectual life between the wars was extolled by Jürgen Habermas. Presented alongside these seminal essays are aphoristic fragments from Simmel’s last journal, providing a beguiling look into the mind of one of the twentieth century’s greatest thinkers. (shrink)

At his death in 1945, the influential German philosopher Ernst Cassirer left manuscripts for the fourth and final volume of his magnum opus, _The Philosophy of Symbolic Forms_. John Michael Krois and Donald Phillip Verene have edited these writings and translated them into English for the first time, bringing to completion Cassirer's major treatment of the concept of symbolic form. Ernst Cassirer believed that all the forms of representation that human beings use—language, myth, art, religion, history, science—are symbolic, (...) and the concept of symbolic forms was the basis of his thinking on these subjects. In this volume, which contains one text written in 1928 and another in about 1940, Cassirer presents the metaphysics that is implicit in his epistemology and phenomenology of culture. The earlier text grounds the philosopher's conception of symbolic forms on a notion of human nature that makes a general distinction between Geist and life. In the later text, he discusses Basis Phenomena, an original concept not mentioned in any of his previous works, and he compares his own viewpoint with those of other modern philosophers, notably Bergson and Heidegger. (shrink)

This chapter contains sections titled: Objective Truth The Issue of Proof Facts and Values Thinking Together Critical Thinking and Radical Skepticism Critical Thinking is Lifelong.

This chapter contains sections titled: Threat Disguised as Reason Appeal to Inappropriate Authority Appeal to the Public Targeting the Person Accusing a Person of Hypocrisy The Appeal to Pity The Appeal to Ignorance The Use of Equivocal Language The Use of Amphiboly Conclusion.

This chapter contains sections titled: The False Dilemma Begging the Question Two Wrongs The Straw Man The Slippery Slope Conclusion.

This chapter contains sections titled: The False Cause Fallacy Hasty Generalizations Failure to Take Context into Account Suppressing Relevant Evidence The Gambler's Fallacy Affirming the Consequent/Denying the Antecedent The Fallacies of Composition and Division Missing the Forest for the Trees.

This chapter contains sections titled: The Relevance of Context Differentiating the Rational from the Irrational Rationality and Acting Prudentially Having Good Reasons for What We Believe Beliefs Have Practical Consequences The Desire to Appear Intelligent to Others.

This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.